/*
nopacc 5:6 'expected Defns, or end-of-input'
*/

S ← ε*
